package ast;

public class Out extends Binder implements BasicBinder {

	private Term t;
	private Term t1;
	
	public Out(Term trm, Term trm1)
	{
		t = trm;
		t1 = trm1;
	}
	
	public Term getT() {
		return t;
	}

	public Term getT1() {
		return t1;
	}

	public String toString()
	{
		return t + "!" + t1;
	}
}
